Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
نویسندگان
چکیده
منابع مشابه
On natural deduction system for nonmonotonic reasoning
This paper is concerned with the problem of how to construct a natural deduction system for nonmonotonic reasoning. Three possible constructions are investigated, the ones which consists of (1) pure nonmonotonic inference rules; (2) nonmonotonic inference rules plus a nonmonotonic tautology base; or (3) nonmonotonic inference rules plus a nonmonotonic conditional assertion base. Based on a fram...
متن کاملGödel logic: From natural deduction to parallel computation
Propositional Gödel logic G extends intuitionistic logic with the non-constructive principle of linearity (A→ B) ∨ (B → A). We introduce a Curry–Howard correspondence for G and show that a simple natural deduction calculus can be used as a typing system. The resulting functional language extends the simply typed λ-calculus via a synchronous communication mechanism between parallel processes, wh...
متن کاملAristotle ' S Natural Deduction System
In the present article we attempt to show that Aristotie's syllogistic is an underlying logie which includes a natural deductive system and that it is not an axiomatic theoryas had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic and we examine both the mathematical properties of the model and the relation of the model to ...
متن کاملNatural Deduction Environment for Matita
Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita.
متن کاملNatural Deduction for Hybrid Logic
In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended with additional inference rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of hybrid logics which appears to be impossible in the context of ordinar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2018
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exy019